main:
  addi	x1, zero, 1
  addi	x2, zero, -1
  addi	x3, zero, 3
  addi	x4, zero, 7
  addi	x5, zero, 14
  addi	x6, zero, 28
  addi	x7, zero, 56
  addi	x8, zero, 133
  addi	x9, zero, 258
  addi	x10, x1, -231
  addi	x11, x1, -510
  slt	x12, x1, x1
  slt	x12, x1, x2
  slt	x12, x1, x3
  slt	x12, x2, x1
  slt	x12, x2, x2
  slt	x12, x2, x3
  sltu  x12, x1, x1
  sltu  x12, x1, x2
  sltu  x12, x1, x3
  sltu  x12, x2, x1
  sltu  x12, x2, x2
  sltu  x12, x2, x3
  sll	x14, x1, x1
  sll	x14, x1, x2
  sll	x14, x1, x3
  srl	x14, x1, x1
  srl	x14, x1, x2
  srl	x14, x1, x3
  sra	x14, x1, x1
  sra	x14, x1, x2
  sra	x14, x1, x3
  and	x15, x8, x9
  and	x15, x9, x10
  or	x15, x8, x9
  or	x15, x9, x10
  xor   x15, x8, x9
  xor   x15, x9, x10
  add   x16, x1,  x5
  add   x16, x2,  x7
  add   x16, x3,  x6
  add   x16, x4,  x10
  add   x16, x5,  x14
  add   x16, x6,  x15
  add   x16, x7,  x7
  add   x16, x8,  x9
  add   x16, x9,  x1
  add   x16, x10, x8
  add   x16, x11, x9
  add   x16, x12, x10
  done
